| 1. | Ordinal numbers are then introduced as the order types of well-ordered sets.
|
| 2. | Every relatively atomic partially ordered set with a least element is atomic.
|
| 3. | The maximal totally ordered sets are horizontal lines in ! 2.
|
| 4. | If you have an already partially ordered set, you could use quicksort.
|
| 5. | Let and be partially ordered sets and let be an order-preserving map.
|
| 6. | Partially ordered sets without greatest element or maximal elements admit disjoint cofinal subsets.
|
| 7. | This definition is extendable to subsets of any partially ordered set.
|
| 8. | It is readily verified that this yields a partially ordered set.
|
| 9. | Mathematically, then, a relation is simply an " ordered set ".
|
| 10. | Order theory is the study of partially ordered sets, both finite and infinite.
|